Sökt på: Böcker av ulrich kulisch
totalt 25 träffar
Numerical Toolbox for Verified Computing I
As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a …
Überblicke Mathematik 1998
Was ist los in der Mathematik? Das fragen sich viele Mathematiker, aber auch alle, die früher einmal Mathematik gelernt haben und jetzt in anderen Gebieten der Wissenschaft und …
Advanced Arithmetic for the Digital Computer
The number one requirement for computer arithmetic has always been speed. It is the main force that drives the technology. With increased speed larger problems can be attempted. To …
Pascal-Xsc
PASCAL-XSC (PASCAL-eXtension for Scientific Computation) ist eine Erweiterung der weitverbreiteten Programmiersprache PASCAL. Sie verfolgt das Ziel, das Programmieren, insbesondere …
Wissenschaftliches Rechnen Mit Ergebnisverifikation
Überblicke Mathematik 1996/97
Was ist los in der Mathematik? Das fragen sich viele Mathematiker, aber auch alle, die früher einmal Mathematik gelernt haben und jetzt in anderen Feldern der Wissenschaft und …
Scientific Computation with Automatic Result Verification
Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number …
Computer Arithmetic and Validity
This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The …
Perspectives on Enclosure Methods
Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means …
Perspectives on Enclosure Methods
Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means …
PASCAL-XSC
This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a …
Computer Arithmetic And Validity
This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The …